2008
Journal article
Restricted
Model driven development of railway systems using diversity
Banci M., Gnesi S., Fantechi A., Lombardi G.
In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation of railway signalling systems hosted by an innovative fault-tolerant platform. Diversity has been introduced where an analysis of the safety measures employed against design faults has revealed possible weakness of the development process.Source: Computer systems science and engineering 23 (2008): 329–335.
Banci M., Gnesi S., Fantechi A., Lombardi G.
In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation of railway signalling systems hosted by an innovative fault-tolerant platform. Diversity has been introduced where an analysis of the safety measures employed against design faults has revealed possible weakness of the development process.Source: Computer systems science and engineering 23 (2008): 329–335.
See at:
www.crlpublishing.co.uk 
| CNR ExploRA
2008
Other
Unknown
See at: CNR ExploRA
2007
Conference article
Restricted
Model Driven Development and Code Generation: An Automotive Case Study
Banci M., Fantechi A., Gnesi S., Lombardi G.
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived and to be formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs to introduce and formalize many details. In this paper we report an experience in deriving an executable formal model from a high level specifications, originally given following a mainly architectural UML approach. The development process is illustrated on an automotive case study. A state of the art code generation tool is then applied to produce a prototype implementation of the analyzed system.Source: 3th International SDL Forum, pp. 19–34, Paris, FRANCE, SEP 18-21, 2007
DOI: 10.1007/978-3-540-74984-4_2
Metrics:
Banci M., Fantechi A., Gnesi S., Lombardi G.
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived and to be formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs to introduce and formalize many details. In this paper we report an experience in deriving an executable formal model from a high level specifications, originally given following a mainly architectural UML approach. The development process is illustrated on an automotive case study. A state of the art code generation tool is then applied to produce a prototype implementation of the analyzed system.Source: 3th International SDL Forum, pp. 19–34, Paris, FRANCE, SEP 18-21, 2007
DOI: 10.1007/978-3-540-74984-4_2
Metrics:
See at:
doi.org | www.scopus.com | www.springerlink.com | CNR ExploRA
2002
Journal article
Restricted
Experience of applying statistical control techniques to the function test phase of a large Telecommunications system
Bertolino A., Marchetti E., Mirandola R., Lombardi G., Peciola E.
The software test process of a large teleconnnunications system is presented. The feasibility of introducing statistical process control techniques to one crucial software test phase, natnely the function test is explored. This phase has been identified as a strategic one for meeting the commitments to customers with respcct to quality objectives. Analysis of past released products revealed that a higli percentage of the failures exprienced in operation corresponded to software faults that could have been discovered during the function test phase. A brief description of the statistical estimators investigated (Classical vs. Bayesian) is provided. along with a few examples of their usc over rcul sets of data. Far from bcing aimed at identifying new statistica1 models, the focus of this work is rather about putting measurement in practice: easy and effettive steps to iinprove the status of control over the test proccss in a smooth, bottom-up approach arc suggested.Source: IEE proceedings. Software (Online) 149 (2002): 93–101. doi:10.1049/ip-sen:20020546
DOI: 10.1049/ip-sen:20020546
Metrics:
Bertolino A., Marchetti E., Mirandola R., Lombardi G., Peciola E.
The software test process of a large teleconnnunications system is presented. The feasibility of introducing statistical process control techniques to one crucial software test phase, natnely the function test is explored. This phase has been identified as a strategic one for meeting the commitments to customers with respcct to quality objectives. Analysis of past released products revealed that a higli percentage of the failures exprienced in operation corresponded to software faults that could have been discovered during the function test phase. A brief description of the statistical estimators investigated (Classical vs. Bayesian) is provided. along with a few examples of their usc over rcul sets of data. Far from bcing aimed at identifying new statistica1 models, the focus of this work is rather about putting measurement in practice: easy and effettive steps to iinprove the status of control over the test proccss in a smooth, bottom-up approach arc suggested.Source: IEE proceedings. Software (Online) 149 (2002): 93–101. doi:10.1049/ip-sen:20020546
DOI: 10.1049/ip-sen:20020546
Metrics:
See at:
IEE Proceedings - Software | CNR ExploRA
1994
Other
Unknown
Introduzione al concetto di cameraman intelligente
Lombardi G., Palamidese P.
An abstract is not available.
Lombardi G., Palamidese P.
An abstract is not available.
See at: CNR ExploRA
1989
Other
Unknown
Strumenti per la parallelizzazione di applicazioni. Caso di studio: IBM PARALLEL FORTRAN
Baraglia R., Laforenza D., Lazzareschi P., Lombardi G., Perego R.
La presente nota riporta le modalità di parallelizzazione di codici scientifici e ele esperienze acquisite nella conversione di applicazioni da sequenziale a parallelo. La nota fa specifico riferimento all'ambiente parallelo shared-memory IBM 3090 multiprocessore ed allo IBM Parallel Fortran PRPQ (program number 5799-CTX). Sono descritte le funzioni di parallelizzazione automatica fornite dal compilatore (parallelismo implicito) nonchè le estensioni al linguaggio Fortran ed ai servizi di libreria per permettere la codifica di specifici costrutti paralleli (parallelismo esplicito). Sono specificate le modalità di compilazione ed esecuzione di programmi paralleli sia utilizzando il sistema operativo MVS che il sistema CMS. Infine sono presentati alcuni criteri per la conversione di applicazioni di sequenziali a parallelo e i principali indici per la valutazione delle prestazioni dei programmi.
Baraglia R., Laforenza D., Lazzareschi P., Lombardi G., Perego R.
La presente nota riporta le modalità di parallelizzazione di codici scientifici e ele esperienze acquisite nella conversione di applicazioni da sequenziale a parallelo. La nota fa specifico riferimento all'ambiente parallelo shared-memory IBM 3090 multiprocessore ed allo IBM Parallel Fortran PRPQ (program number 5799-CTX). Sono descritte le funzioni di parallelizzazione automatica fornite dal compilatore (parallelismo implicito) nonchè le estensioni al linguaggio Fortran ed ai servizi di libreria per permettere la codifica di specifici costrutti paralleli (parallelismo esplicito). Sono specificate le modalità di compilazione ed esecuzione di programmi paralleli sia utilizzando il sistema operativo MVS che il sistema CMS. Infine sono presentati alcuni criteri per la conversione di applicazioni di sequenziali a parallelo e i principali indici per la valutazione delle prestazioni dei programmi.
See at: CNR ExploRA
1989
Other
Unknown
See at: CNR ExploRA
1983
Other
Unknown
Calcoli numerici: raccolta di esercizi d'esame
Lombardi G., Rebaudo R.
In questo testo sono stati raccolti alcuni dei temi d'esame proposti alle prove scritte del corso di "Calcoli Numerici" della Facoltà di Ingegneria. I temi sono stati scelti tra quelli ritenuti più significativi dal punto di vista didattico e, a questo scopo, talvolta sono stati modificati rispetto al testo originale. Di molti di essi si sono semplicemente riportate le conclusioni e una breve traccia. Sono stati, inoltre, aggiunti esercizi ritenuti significativi per gli argomenti trattati nel corso.
Lombardi G., Rebaudo R.
In questo testo sono stati raccolti alcuni dei temi d'esame proposti alle prove scritte del corso di "Calcoli Numerici" della Facoltà di Ingegneria. I temi sono stati scelti tra quelli ritenuti più significativi dal punto di vista didattico e, a questo scopo, talvolta sono stati modificati rispetto al testo originale. Di molti di essi si sono semplicemente riportate le conclusioni e una breve traccia. Sono stati, inoltre, aggiunti esercizi ritenuti significativi per gli argomenti trattati nel corso.
See at: CNR ExploRA
1983
Other
Unknown
Matrici ad albero
Lombardi G., Rebaudo R.
A class of bordered diagonal matrices, here called tree-matrices, is investigated. For any such matrix, a similar matrix is found in the class of diagonal matrix modified by a matrix of rank one, and viceversa. A Sturm sequence for the characteristic equation is found for real symmetric tree-matrices. Some of previous results are extended to k-tree matrices and the Woodbury formula is used to find the inverse. In addition, examples are given to be used as test matrices.
Lombardi G., Rebaudo R.
A class of bordered diagonal matrices, here called tree-matrices, is investigated. For any such matrix, a similar matrix is found in the class of diagonal matrix modified by a matrix of rank one, and viceversa. A Sturm sequence for the characteristic equation is found for real symmetric tree-matrices. Some of previous results are extended to k-tree matrices and the Woodbury formula is used to find the inverse. In addition, examples are given to be used as test matrices.
See at: CNR ExploRA
1977
Other
Unknown
Solution of the problem 76-20, on the extreme eigenvalues of a NXN matrix
Capovani M., Lombardi G.
No abstract available
Capovani M., Lombardi G.
No abstract available
See at: CNR ExploRA
1976
Journal article
Unknown
Utilizzazione di proprietà delle matrici per lo studio dei polinomi ultrasferici
Capovani M., Ghelardoni G., Lombardi G.
A system of orthogonal polinomials can be generated by a three-term recurrence relationship so that with each polinomial a certain tridiagonal matrix can be associated. Making use only of matrix properties that, besides being tridiagonal, are symmetric, positive definite, non negative and, in particular, oscillatory, some properties, partly well known, of the zeros of the ultraspherical polinomials are found and highly efficent method is proposed to compute such zeros.Source: Rendiconti di matematica 6 (1976): 57–69.
Capovani M., Ghelardoni G., Lombardi G.
A system of orthogonal polinomials can be generated by a three-term recurrence relationship so that with each polinomial a certain tridiagonal matrix can be associated. Making use only of matrix properties that, besides being tridiagonal, are symmetric, positive definite, non negative and, in particular, oscillatory, some properties, partly well known, of the zeros of the ultraspherical polinomials are found and highly efficent method is proposed to compute such zeros.Source: Rendiconti di matematica 6 (1976): 57–69.
See at: CNR ExploRA
1975
Other
Unknown
Algoritmi per il calcolo di formule gaussiane di quadratura
Capovani M., Ghelardoni G., Lombardi G.
Si propone un metodo per il calcolo dei nodi e dei pesi di formule Gaussiane di quadratura. Si presentano anche due sottoprogrammi, uno che calcola gli zeri dei polinomi di Jacobi ed i pesi delle corrispondenti formule Gaussiane associate ( nel caso di polinomi ultrasferici c'è la possibilità di ridurre il problema ad uno di ordine [n/2] ) e uno che calcola gli zeri ed i pedi nel caso di polinomi di Laguerre generalizzati e di Hermite. Sono riportati confronti con metodi proposto da A.H.Stroud, D.H.Secrest e da G.H.Golub, J.H.Welsch.
Capovani M., Ghelardoni G., Lombardi G.
Si propone un metodo per il calcolo dei nodi e dei pesi di formule Gaussiane di quadratura. Si presentano anche due sottoprogrammi, uno che calcola gli zeri dei polinomi di Jacobi ed i pesi delle corrispondenti formule Gaussiane associate ( nel caso di polinomi ultrasferici c'è la possibilità di ridurre il problema ad uno di ordine [n/2] ) e uno che calcola gli zeri ed i pedi nel caso di polinomi di Laguerre generalizzati e di Hermite. Sono riportati confronti con metodi proposto da A.H.Stroud, D.H.Secrest e da G.H.Golub, J.H.Welsch.
See at: CNR ExploRA
1975
Journal article
Restricted
Diramazioni di soluzioni di equazioni differenziali ordinarie non lineari
Ghelardoni G., Lombardi G.
In questa nota vengono studiate proprietà delle soluzione non banali w(x) (0<=x<=1) del problema non lineare w"+ ?w=g(w) w'2, w(0)=w (1)=0, dove ? è reale e g(w) è intera; sono studiati in dettaglio alcuni casi corrispondenti a scelte particolari di g.Source: Calcolo (Testo stamp.) 11 (1975): 483–507. doi:10.1007/BF02575788
DOI: 10.1007/bf02575788
Metrics:
Ghelardoni G., Lombardi G.
In questa nota vengono studiate proprietà delle soluzione non banali w(x) (0<=x<=1) del problema non lineare w"+ ?w=g(w) w'2, w(0)=w (1)=0, dove ? è reale e g(w) è intera; sono studiati in dettaglio alcuni casi corrispondenti a scelte particolari di g.Source: Calcolo (Testo stamp.) 11 (1975): 483–507. doi:10.1007/BF02575788
DOI: 10.1007/bf02575788
Metrics:
See at:
CALCOLO | CNR ExploRA
1973
Conference article
Unknown
Diramazioni di soluzioni di equazioni differenziali ordinarie non lineari
Ghelardoni G., Lombardi G.
nessun sommario disponibileSource: Convegno UMI: Rapporti tra ricerca matematica pura e ricerca matematica applicata, pp. 213–217, Siena, Italy, 1973
Ghelardoni G., Lombardi G.
nessun sommario disponibileSource: Convegno UMI: Rapporti tra ricerca matematica pura e ricerca matematica applicata, pp. 213–217, Siena, Italy, 1973
See at: CNR ExploRA
1970
Contribution to book
Unknown
The stability problem for couette flow: a finite difference approach
Ghelardoni G., Lombardi G.
Taylor vortices are studied using finite difference approximations. Details of the numerical scheme of solution are given. Mention is made of convergence difficulties which are sometimes encountered and of the procedure with which the difficulties can be overcome. Results, particular~ iu the case of counter-rotating cilynders, are shown in a number of graphs.Source: , pp. 43–52, 1970
Ghelardoni G., Lombardi G.
Taylor vortices are studied using finite difference approximations. Details of the numerical scheme of solution are given. Mention is made of convergence difficulties which are sometimes encountered and of the procedure with which the difficulties can be overcome. Results, particular~ iu the case of counter-rotating cilynders, are shown in a number of graphs.Source: , pp. 43–52, 1970
See at: CNR ExploRA